<?hh
//Set the default time zone
<<__EntryPoint>> function main(): void {
date_default_timezone_set("Europe/London");
$date1 = new DateTime("2005-07-14 22:30:41");
var_dump($date1);
$serialized = serialize($date1);
var_dump($serialized);

$date2 = unserialize($serialized);
var_dump($date2);
// Try to use unserialzied object
var_dump( $date2->format( "F j, Y, g:i a") );
echo "===DONE=== ";
}
